POSet{i} == {s:QOSet| AntiSym(|s|;a,b.a  b)}  

latex

---

clarification:

POSet{i} == {s:QOSet{i}| AntiSym(|s|;a,b.a s b)}  

latex

Up	sets 1
Wellformedness Lemmas	poset wf
Definitions	QOSet, AntiSym(T;x,y.R(x;y)), |p|, a  b